Logical Specification of Resource Consumption and Production

The difficulty in representing disposable resources as formulas of classical logic motivates the study of a new logic modeling system. There are similarities and differences between resource consumption/production and theorem proving in logic. Both are about deducibility (or producibility) of a formula (or a thing). The major difference is that once a disposable resource is used to produce something, it is not available any more; but a formula can be repeatedly used in deduction. We adopt a form of nonstandard logic called linear logic to develop a logic modeling system of resources and implement it in a variant of the logic programming paradigm. The resource logic modeling system can process state space models represented by Petri nets or their subclasses such as marked graphs and state machines. It can serve as a modeling tool for business procedures and production scheduling.